Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2020 Utgivningsland okänt / Ej specificerat